Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
811	JFP 19 (6): 699–722, c Cambridge University Press 2009 699 Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2009-11-01 21:42:18 Logic in computer science Programming language semantics Models of computation Denotational semantics Operational semantics Structure Lambda calculus Theoretical computer science Mathematics Mathematical logic
812	FACULTY OF ARTS DEPARTMENT OF PHILOSOPHY PHIL — “Advanced Topics in Logic: Modal Logic” Winter Term 2013 Course Outline Add to Reading List Source URL: www.ucalgary.ca Language: English - Date: 2014-07-27 06:40:18 Logicians Non-classical logic Philosophical logic Epistemic modal logic Plagiarism Mathematical logic Johan van Benthem Logic Science Modal logic
813	On the Modelling and Analysis of Regulations G. Antoniou, D. Billington, G. Governatori and M.J. Maher CIT, Griffith University Nathan, QLD 4111, Australia {ga,db,guido,mjm}@cit.gu.edu.au Add to Reading List Source URL: seit.unsw.adfa.edu.au Language: English - Date: 2012-01-12 21:52:26 Knowledge Reasoning Critical thinking Defeasible logic Defeasible reasoning Argument Non-monotonic logic Modal logic Inquiry Logic Science Non-classical logic
814	Ontology-Based Data Access: From Theory to Practice Diego Calvanese KRDB Research Centre for Knowledge and Data Free University of Bozen-Bolzano, Italy Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2012-10-26 08:14:20 Information science Semantic Web Knowledge Knowledge representation Technical communication Description logic Knowledge representation and reasoning Information Science Ontology
815	Inductive Logic The shaky foundation of everything we know. Quick History of induction • Unappreciated in Ancient Times Add to Reading List Source URL: www.philshoney.com Language: English - Date: 2014-09-05 13:58:28 Knowledge Inductive reasoning Arguments Problem solving Epistemology Deductive reasoning Enumerative induction Mathematical induction Reason Logic Reasoning Science
816	BRICS Basic Research in Computer Science BRICS DS-00-7 M. Jurdzi´nski: Games for Verification: Algorithmic Issues Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-13 08:14:25 Logic in computer science Computability theory Formal methods Model checking Theory of computation Algorithm BRIC Halting problem Formal verification Theoretical computer science Applied mathematics Mathematics
817	Discourse Structure of Text-Graphics Documents Robert P. Futrelle Anna Rumshisky College of Computer Science 161CN Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2001-02-27 20:33:47 Natural language processing Discourse analysis Interpretation Discourse First-order logic Coreference Graphics Natural language understanding Control Linguistics Science Semantics
818	& IWA Publishing 2011 Journal of Hydroinformatics295 An artificial intelligence approach for optimizing pumping in sewer systems Add to Reading List Source URL: www.iwaponline.com Language: English - Date: 2011-05-05 07:45:24 Pumps Science Fluid dynamics Fluid mechanics Hydrology Pumping station Pump Fuzzy control system Control system Logic Control engineering Fuzzy logic
819	3B. Effective Presentation_021503 Communication may be viewed as the change in a human being as the result of transfer of information. No change, no communication. The objective of an effective presentation should the Add to Reading List Source URL: turroserver.chem.columbia.edu Language: English - Date: 2009-01-21 00:25:21 Philosophy of science Epistemology Aesthetics Paradigm Idea Logic Rational temperament Science Mind Cognition
820	The Call-by-need Lambda Calculus, Revisited Stephen Chang and Matthias Felleisen College of Computer Science Northeastern University Boston, Massachusetts, USA { stchang \| matthias } @ ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-08-23 01:51:44 Theoretical computer science Lambda calculus Computability theory Evaluation strategy Calculus Free variables and bound variables Function Parameter Algorithm Mathematics Mathematical logic Applied mathematics

UPDATE